Bataillon d'Afrique (n.m.)